ecl-add-throw(A;m)
== let Ta,ksa,ia,ga,ha,aa,ea = A in 
== <Ta
== ,ksa
== ,ia
== ,ga
== ,(n,x. if n=m ha(0,x)  ha(n,x) else 0<n  ha(n,x) fi)
== ,aa
== ,if m=0 ea else s-insert(m;ea) fi> 

latex

Definitions	let a,b,c,d,e,f,g = u in v(a;b;c;d;e;f;g), p  q, p  q, i<j, if b t else f fi, i=j, s-insert(x;l)
FDL editor aliases	ecl-add-throw